Great work, as usual, spoon. Here's something that caught my attention.

If my "This assumes..." statements are incorrect, then please feel free to correct them... I have a tendency to get caught up in "always" and "never" statements, but that doesn't mean those statements are always incorrect.

[...] and we will always win if we hit
This assumes either a rare and specific board or a full knowledge of Villains' cards.

How does Hero's uncertainty that his outs are the effective nuts affect the equity?

[...]with no chance of winning if we miss
This assumes that there is no bluffing opportunity on a future street, or that the equity of a bluff attempt is exactly 0%.

How does including an opportunity to bluff on a later street affect the EV of calling on the current street?